TSTP Solutions to: SYO886^3

`E---3.1.00THM-CRf`	`E-SAT---3.1.00UNK-Non`	`Leo-III---1.7.12THM-Ref`	`Leo-III-SAT---1.7.12THM-Ref`	`PyRes---1.5IAP-Non`
`Vampire---4.8THM-Ref`	`Vampire-SAT---4.8UNK-Non`